many-sorted predicate calculus
多种类谓词演算
热门查询
- Ieuan n. (Ieuan)人名；(英)叶延
- deane n. 迪恩（姓氏）；迪恩（男子名）
- humped adj. 有瘤的；驼背的；有肉峰的 v. 使隆起；使烦闷（hump的过去分词）
- dowry n. 嫁妆；天资；亡夫遗产
- disgruntled adj. 不满的；不高兴的
- prefrontal n. [解剖] 额前骨 adj. [解剖] 前额的；额叶前部的
- unsound adj. 不健全的；不健康的；谬误的；腐烂的；不牢靠的
- Auerbach n. (Auerbach)人名；(英、法)奥尔巴克；(德、罗、捷)奥尔巴赫 奥尔巴赫
- fonda n. 旅馆
- pregame adj. 比赛前的
- thenceforward adv. 从那时，其后
- christianise v. 使成基督教徒
- catbird n. 猫鹊（产于北美的一种鸣禽）
- peso n. 比索（拉丁美洲一些国家和菲律宾的货币单位）；美元 n. (Peso)人名；(西、意、芬)佩索
- oily adj. 油的；油质的；油滑的；油腔滑调的
- hideout n. 隐匿处
- skateboarding n. 滑板运动
- Corden n. (Corden)人名；(英)科登
- cheerfulness n. 高兴；快活
- stipulated v. 规定；保证（stipulate的过去分词形式） adj. 规定的
考试词汇表
- paged memory management unit
- paged virtual storage system
- paid dear for their whistles
- paid editorial advertisement
- pailopeganum sinensis hemsl.
- pain producing substance,PPS
- painful muscular contraction
- paint grade titanium dioxide
- paint someone with his warts
- painting on a bamboo curtain
- paints, radiation-reflecting
- pair attenuation coefficient
- pair of alphameric character
- pair-wise independent events
- paired comparison experiment
- paired selected ternary code
- palaeobiogeographic province
- palaeontological correlation
- palaeontology, palaeobiology
- palatopharyngealis sphincter
